Intensional Intentional Programming∗
نویسنده
چکیده
We discuss the use of intensional (context-switching) operators—Intensional Programming— in the development of familes of versions of programs and other forms of software—Intentional Programming.
منابع مشابه
The Semantics of Intensional Transitive Verbs in Towards Non-Being∗
In this paper, I point out the problems of the semantics of intensional transitive verbs (e.g.,“seek,” “worship,” and “imagine”) proposed by Graham Priest in his book Towards Non-Being (TNB). On the basis of noneism, a version of Meinongian theory of nonexistent objects, TNB basically takes an intensional transitive as representing a relation between an ordinary individual object and a (possibl...
متن کاملAn intentional language as the basis of a 3-D spreadsheet design
Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. An intensional language is both a programming language and, at the same time, a formal system based on intensional semantics. It provides users with context-switching operators which allow values from different contexts to be combined without explicit context manipulation. Plane Lu...
متن کاملIntensional Programming Languages
This article introduces the basic notions behind the intensional programming paradigm. Intensional Logic—which is the underlying theoretical framework of intensional languages is described and motivated by examples. One-dimensional and multidimensional intensional languages are discussed and existing intensional systems are surveyed. The article concludes with a presentation of the most success...
متن کاملTowards a Unified Theory of Intensional Logic Programming
Intensional Logic Programming is a new form of logic programming based on intensional logic and possible-worlds semantics. Intensional logic allows us to use logic programming to specify nonterminating computations and to capture the dynamic aspects of certain problems in a natural and problem-oriented style. The meanings of formulas of an intensional firstorder language are given according to ...
متن کاملA Theoretical Basis for Intensional Logic Programming∗
Intensional Logic Programming (ILP) is a new form of logic programming based on intensional logic. The denotations of formulas of an intensional first-order language are given according to intensional interpretations and to a set of possible worlds. ILP provides users with several intensional operators which are used to express relationships between different worlds. After introducing the forma...
متن کامل